1

Analysis of VME-Bus communication protocol - RTCP-net approach

Year:
2007
Language:
english
File:
PDF, 369 KB
english, 2007
7

Formal Verification of Embedded Systems Using the Alvis Approach

Year:
2011
Language:
english
File:
PDF, 679 KB
english, 2011
9

Detection and Modeling of Cyber Attacks with Petri Nets

Year:
2014
Language:
english
File:
PDF, 1.12 MB
english, 2014
11

An Entropy-Based Network Anomaly Detection Method

Year:
2015
Language:
english
File:
PDF, 1.70 MB
english, 2015
18

Verification of Real-Time System Requirements: A Petri Net Approach

Year:
1999
Language:
english
File:
PDF, 1.46 MB
english, 1999
21

Tools and Methods for RTCP-Nets Modeling and Verification

Year:
2016
Language:
english
File:
PDF, 582 KB
english, 2016
23

Evaluation of Cyber Security and Modelling of Risk Propagation with Petri Nets

Year:
2017
Language:
english
File:
PDF, 795 KB
english, 2017
27

An Entropy-Based Car Failure Detection Method Based on Data Acquisition Pipeline

Year:
2019
Language:
english
File:
PDF, 630 KB
english, 2019